Special Issue: Temporal Logic in Engineering

Special Issue for 13th International Industrial Engineering Conference (IIEC 2017)

     This special issue is a collection of refereed articles selected from the 13th International Industrial Engineering Conference (IIEC 2017). The initial selection was made by Dr. Hamed Fazlollahtabar who also wrote the following description. The accepted articles were reviewed going through the usual reviewing process of IJOR. Nezam Mahdavi-Amiri Editor-in-Chief &nbs...

Special Issue on Cognitive Engineering

Computer-based systems have changed the nature of the work undertaken at the human-machine interface. More than ever before, operators of complex sociotechnological systems are working in a multidimensional information space. Within aviation, the development of the glass cockpit was the forerunner of things to come. Glass interfaces now pervade all areas of aviation systems. Computerization has...

Special Issue: Progress in Membrane Engineering for Food and Biotechnology Industries

Special Issue

Foreword: special issue on coalgebraic logic

The second Dagstuhl seminar on coalgebraic logics took place from October 7–12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a speci...